Structured Modeling of Concurrent Stochastic Hybrid Systems
نویسندگان
چکیده
We propose a modeling language for structured specification of interacting components with both hybrid and stochastic dynamics. The behavior of a stochastic hybrid agent is described using a hybrid automaton whose dynamics is specified by stochastic differential equations and probabilistic jumps. Stochastic hybrid agents interact with other agents using shared variables. The operations of parallel composition, instantiation and hiding are defined to allow hierarchical descriptions of complex agents. We report on a stochastic extension of the modeling environment Charon for hybrid systems, a simulation tool, and case studies using the tool.
منابع مشابه
External Control in Process Algebra for Systems Biology
A critical aspect in the modeling of biological systems is the description view point. On the one hand, the Stochastic π-calculus formalism provides an intuitive and compact representation from an internal perspective. On the other hand, other proposed languages such as Hybrid Automata and Stochastic Concurrent Constraint Programming introduce in the system description an external control and p...
متن کاملModeling and Analyzing Concurrent
Process algebras are one of the main tools for modeling and analyzing concurrent systems. However, they can be used to describe only the functional aspect of system behavior. Recently, the relevance of integrating performance evaluation within the process of speciication, design and implementation of concurrent systems has been widely recognized. Hence, an eeort has been made in order to handle...
متن کاملA combined stochastic and greedy hybrid estimation capability for concurrent hybrid models with autonomous mode transitions
Probabilistic hybrid discrete/continuous models, such as Concurrent Probabilistic Hybrid Automata (CPHA) are convenient tools for modeling complex robotic systems. In this paper, we present a novel method for estimating the hybrid state of CPHA that achieves robustness by balancing greedy and stochastic search. To accomplish this, we 1) develop an efficient stochastic sampling approach for CPHA...
متن کاملModeling and Analyzing Concurrent Systems with Mpa
Process algebras are one of the main tools for modeling and analyzing concurrent systems. However, they can be used to describe only the functional aspect of system behavior. Recently, the relevance of integrating performance evaluation within the process of speciication, design and implementation of concurrent systems has been widely recognized. Hence, an eeort has been made in order to handle...
متن کاملConstraint-Based Analysis of Concurrent Probabilistic Hybrid Systems: An Application to Networked Automation Systems
In previous publications, the authors have introduced the notion of stochastic satisfiability modulo theories (SSMT) and the corresponding SiSAT solving algorithm, which provide a symbolic method for the reachability analysis of probabilistic hybrid systems. SSMT extends satisfiability modulo theories (SMT) with randomized (or stochastic), existential, and universal quantification, as known fro...
متن کامل